fully invariant congruence

全不变同余